Involutive Bases Algorithm Incorporating F5 Criterion
نویسندگان
چکیده
Article history: Received 2 June 2013 Accepted 15 July 2013 Available online xxxx
منابع مشابه
On Computing Janet Bases for Degree Compatible Orderings
We consider three modifications of our involutive algorithm for computing Janet bases. These modifications are related to degree compatible monomial orders and specify selection strategies for non-multiplicative prolongations. By using the standard data base of polynomial benchmarks for Gröbner bases software we compare the modifications and confront them with Magma that implements Faugère’s F4...
متن کاملInvolutive Bases of Polynomial Ideals
In this paper we consider an algorithmic technique more general than that proposed by Zharkov and Blinkov for the involutive analysis of polynomial ideals. It is based on a new concept of involutive monomial division which is defined for a monomial set. Such a division provides for each monomial the self-consistent separation of the whole set of variables into two disjoint subsets. They are cal...
متن کاملA Generalized Criterion for Signature-based Algorithms to Compute Gröbner Bases
A generalized criterion for signature-based algorithms to compute Gröbner bases is proposed in this paper. This criterion is named by “generalized criterion”, because it can be specialized to almost all existing criteria for signature-based algorithms which include the famous F5 algorithm, F5C, extended F5, GV and the GVW algorithm. The main purpose of current paper is to study in theory which ...
متن کاملComprehensive Involutive Systems
In this paper we consider parametric ideals and introduce a notion of comprehensive involutive system. This notion plays the same role in theory of involutive bases as the notion of comprehensive Gröbner system in theory of Gröbner bases. Given a parametric ideal, the space of parameters is decomposed into a finite set of cells. Each cell yields the corresponding involutive basis of the ideal f...
متن کاملExperimental Analysis of Involutive Criteria
In this paper we present results of our computer experiments to study effectiveness of involutive criteria for avoiding useless prolongations in construction of polynomial Janet bases. These bases are typical representative of involutive bases. Though involutive bases are usually redundant as Gröbner ones, they can be used as well as the reduced Gröbner bases in whose theory Volker Weispfenning...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 59 شماره
صفحات -
تاریخ انتشار 2013